大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic 的图书(共4223本)

Information Processing in Computer-Assisted Interventions [electronic resource] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings

0
索取号：
作者：Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fete of Combinatorics and Computer Science [electronic resource]

0
索取号：
作者：Katona、 Gyula O. H.、Schrijver、 Alexander.、Sz艖nyi、 Tam谩s.、S谩gi、 G谩bor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Computer Science and Information Technology [electronic resource] : AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Architecting Critical Systems [electronic resource] : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings

0
索取号：
作者：Giese、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Smart Graphics [electronic resource] : 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings

0
索取号：
作者：Taylor、 Robyn.、Boulanger、 Pierre.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II

0
索取号：
作者：J臋drzejowicz、 Piotr.、Nguyen、 Ngoc Thanh.、Howlet、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Combinatorial Pattern Matching [electronic resource] : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings

0
索取号：
作者：Amir、 Amihood.、Parida、 Laxmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I

0
索取号：
作者：J臋drzejowicz、 Piotr.、Nguyen、 Ngoc Thanh.、Howlet、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advanced Computer Science and Information Technology [electronic resource] : Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

0
索取号：
作者：Tomar、 G. S.、Chang、 Ruay-Shiung.、Gervasi、 Osvaldo.、Kim、 Tai-hoon.、Bandyopadhyay、 Samir Kumar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Neural Networks - ISNN 2010 [electronic resource] : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II

0
索取号：
作者：Zhang、 Liqing.、Lu、 Bao-Liang.、Kwok、 James.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Neural Networks - ISNN 2010 [electronic resource] : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I

0
索取号：
作者：Zhang、 Liqing.、Lu、 Bao-Liang.、Kwok、 James.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ambient Intelligence and Future Trends-International Symposium on Ambient Intelligence (ISAmI 2010) [electronic resource]

0
索取号：
作者：Augusto、 Juan Carlos.、Corchado、 Juan M.、Novais、 Paulo.、Analide、 Cesar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

0
索取号：
作者：Grunske、 Lars.、Reussner、 Ralf.、Plasil、 Frantisek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Experimental Algorithms [electronic resource] : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

0
索取号：
作者：Festa、 Paola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science-Theory and Applications [electronic resource] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

0
索取号：
作者：Ablayev、 Farid.、Mayr、 Ernst W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.